Strong negations and restricted equivalence functions revisited: An analytical and topological approach

Relating adjoint negations with strong adjoint negations

Topological Quantum Field Theory and Strong Shift Equivalence

Given a TQFT in dimension d + 1, and an infinite cyclic covering of a closed (d + 1)-dimensional manifold M , we define an invariant taking values in a strong shift equivalence class of matrices. The notion of strong shift equivalence originated in R. Williams’ work in symbolic dynamics. The Turaev-Viro module associated to a TQFT and an infinite cyclic covering is then given by the Jordan form...

Strong Topological Regularity and Weak Regularity of Banach Algebras

In this article we study two different generalizations of von Neumann regularity, namely strong topological regularity and weak regularity, in the Banach algebra context. We show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. Then we consider strong topological regularity of certain concrete algebras. Moreover we obtain ...

semi-analytical solution for static and forced vibration problems of laminated beams through smooth fundamental functions method

در این پایان نامه روش جدیدی مبتنی بر روش حل معادلات دیفرانسیل پارهای بر اساس روش توابع پایه برای حل مسایل ارتعاش اجباری واستاتیک تیرها و صفحات لایه ای ارایه شده است که می توان تفاوت این روش با روش های متداول توابع پایه را در استفاده از توابع هموار در ارضاء معادلات حاکم و شرایط مرزی دانست. در روش ارایه شده در این پایاننامه از معادله تعادل به عنوان معادله حاکم بر رفتار سیستم استفاده شده است که مو...

Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach

We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for several nonmonotonic logics including logic programming with aggregates, default logic and a version of autoepistemic logic.